Buildings Energy Data Book: 5.3 Heating, Cooling, and Ventilation EquipmentMajor Residential HVAC Equipment Lifetimes, Ages, and Replacement Picture Equipment Type

Source URL: buildingsdatabook.eere.energy.gov

• Mechanical engineering
• Building biology
• Building engineering
• Engineering
• HVAC
• Boilers
• ASHRAE Handbook
• Ventilation
• Furnace
• Heating
• ventilating
• and air conditioning
• Technology
• Home appliances

An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss

Source URL: lara.epfl.ch

• Data types
• Higher-order functions
• Type theory
• Recursion
• Source code
• Algebraic data type
• Satisfiability Modulo Theories
• Map
• ALGOL 68
• Software engineering
• Computer programming
• Computing

Buildings Energy Data Book: 5.3 Heating, Cooling, and Ventilation EquipmentMain Residential Heating Equipment as of 1987, 1993, 1997, 2001, andPercent of Total Households) Equipment Type

Source URL: buildingsdatabook.eere.energy.gov

• Mechanical engineering
• Heater
• Furnace
• Natural gas
• Heat pump
• Ventilation
• Heating
• ventilating
• and air conditioning
• Architecture
• Technology

Buildings Energy Data Book: 5.4 Water HeatersMarchWater Heater Stock for Residential Buildings, By Storage Type

Source URL: buildingsdatabook.eere.energy.gov

Data Dictionary Migration Starter Kit RESO Fall Meeting 2014 Data Dictionary Starter Kit 1.3 Agenda:

Source URL: reso.memberclicks.net

• Metadata
• Data dictionary
• Data management
• Knowledge representation
• Data type
• Data
• Information
• Data modeling

Requestor: DATE: Click here to enter a date. REQUEST TYPE:

Source URL: www.its.nc.gov

• Public safety
• Computer security
• Data security
• User interface techniques
• Information security
• Risk management
• Form
• Email
• Internet privacy
• Security
• Actuarial science
• Computing

On Static Analysis for Expressive Pattern Matching Mirco Dotta, Philippe Suter and Viktor Kuncak? School of Computer and Communication Sciences, EPFL, Switzerland {firstname.lastname}@epfl.ch

Source URL: lara.epfl.ch

• Data types
• Functional programming
• Type theory
• Algebraic data type
• Binary trees
• Procedural programming languages
• Pattern matching
• Guard
• Cons
• Software engineering
• Computing
• Computer programming

Third Edit ion THE ICON PROGRAMMING LANGUAGE

Source URL: www.cs.arizona.edu

• Data types
• Procedural programming languages
• Icon
• Public domain software
• C programming language
• Type theory
• Comparison of Pascal and C
• String
• C
• Computing
• Software engineering
• Computer programming

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp

Source URL: infoscience.epfl.ch

• Data types
• Type theory
• Subroutines
• Functional programming
• C++
• Closure
• Spore
• Anonymous function
• Type system
• Software engineering
• Computing
• Computer programming

Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute

Source URL: software.imdea.org

• Theoretical computer science
• Type theory
• Transaction processing
• Logic in computer science
• Programming language semantics
• Denotational semantics
• Object
• Type system
• Consistency model
• Data types
• Computing
• Software engineering